Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Formal verification of software source code through semi-automatic modeling

Année:
2005
Langue:
english
Fichier:
PDF, 1.92 MB
english, 2005
2

Efficient Detection of Vacuity in Temporal Model Checking

Année:
2001
Langue:
english
Fichier:
PDF, 93 KB
english, 2001
4

Model Checking the Garbage Collection Mechanism of SMV

Année:
2001
Langue:
english
Fichier:
PDF, 278 KB
english, 2001
6

Functional verification of power gated designs by

Année:
2009
Langue:
english
Fichier:
PDF, 390 KB
english, 2009
7

Model Checking at IBM

Année:
2003
Langue:
english
Fichier:
PDF, 64 KB
english, 2003